ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
О смысле и значении — «О СМЫСЛЕ И ЗНАЧЕНИИ» статья немецкого математика и логика Готтлоба Фреге (Frege G. Uber Sinn unci Bedeutung // Zeitschrift fur philosophic und Philoso phische Kritik. Bd. 100.1892. S. 25 50; рус. пер. в кн.: Фре ге Г. Логика и логическая … Энциклопедия эпистемологии и философии науки
ИСТИННОСТНАЯ ТАБЛИЦА — таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает истина , Л ложь ). Здесь А 1, ...,А п пропозициональные переменные, ( А 1 … Математическая энциклопедия
ИНДУКТИВНАЯ ЛОГИКА — раздел логики, изучающий индуктивные рассуждения, используемые гл. обр. с целью получения индуктивных обобщений, объяснений, предсказаний, описаний и предписаний (см. Индукция). Осн. объект изучения в совр. И. л. индуктивный вывод. Для… … Философская энциклопедия
импликация материальная — импликация в трактовке логики классической. Для установления истинности И. м. Если А, то В достаточно выяснить истинностные значения высказываний А и В. И. м. истинна в трех случаях: 1) ее основание и ее следствие истинны; 2) основание ложно, а… … Словарь терминов логики
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… … Философская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
